3.7.11 \(\int (d f+e f x)^3 (a+b (d+e x)^2+c (d+e x)^4)^2 \, dx\) [611]

Optimal. Leaf size=104 \[ \frac {a^2 f^3 (d+e x)^4}{4 e}+\frac {a b f^3 (d+e x)^6}{3 e}+\frac {\left (b^2+2 a c\right ) f^3 (d+e x)^8}{8 e}+\frac {b c f^3 (d+e x)^{10}}{5 e}+\frac {c^2 f^3 (d+e x)^{12}}{12 e} \]

[Out]

1/4*a^2*f^3*(e*x+d)^4/e+1/3*a*b*f^3*(e*x+d)^6/e+1/8*(2*a*c+b^2)*f^3*(e*x+d)^8/e+1/5*b*c*f^3*(e*x+d)^10/e+1/12*
c^2*f^3*(e*x+d)^12/e

________________________________________________________________________________________

Rubi [A]
time = 0.11, antiderivative size = 104, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 33, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.091, Rules used = {1156, 1128, 645} \begin {gather*} \frac {a^2 f^3 (d+e x)^4}{4 e}+\frac {f^3 \left (2 a c+b^2\right ) (d+e x)^8}{8 e}+\frac {a b f^3 (d+e x)^6}{3 e}+\frac {b c f^3 (d+e x)^{10}}{5 e}+\frac {c^2 f^3 (d+e x)^{12}}{12 e} \end {gather*}

Antiderivative was successfully verified.

[In]

Int[(d*f + e*f*x)^3*(a + b*(d + e*x)^2 + c*(d + e*x)^4)^2,x]

[Out]

(a^2*f^3*(d + e*x)^4)/(4*e) + (a*b*f^3*(d + e*x)^6)/(3*e) + ((b^2 + 2*a*c)*f^3*(d + e*x)^8)/(8*e) + (b*c*f^3*(
d + e*x)^10)/(5*e) + (c^2*f^3*(d + e*x)^12)/(12*e)

Rule 645

Int[((d_.) + (e_.)*(x_))*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)^(p_.), x_Symbol] :> Int[ExpandIntegrand[(d + e*x)
*(a + b*x + c*x^2)^p, x], x] /; FreeQ[{a, b, c, d, e}, x] && NeQ[2*c*d - b*e, 0] && IntegerQ[p] && (GtQ[p, 0]
|| EqQ[a, 0])

Rule 1128

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(p_.), x_Symbol] :> Dist[1/2, Subst[Int[x^((m - 1)/2)*(a +
b*x + c*x^2)^p, x], x, x^2], x] /; FreeQ[{a, b, c, p}, x] && IntegerQ[(m - 1)/2]

Rule 1156

Int[(u_)^(m_.)*((a_.) + (b_.)*(v_)^2 + (c_.)*(v_)^4)^(p_.), x_Symbol] :> Dist[u^m/(Coefficient[v, x, 1]*v^m),
Subst[Int[x^m*(a + b*x^2 + c*x^(2*2))^p, x], x, v], x] /; FreeQ[{a, b, c, m, p}, x] && LinearPairQ[u, v, x]

Rubi steps

\begin {align*} \int (d f+e f x)^3 \left (a+b (d+e x)^2+c (d+e x)^4\right )^2 \, dx &=\frac {f^3 \text {Subst}\left (\int x^3 \left (a+b x^2+c x^4\right )^2 \, dx,x,d+e x\right )}{e}\\ &=\frac {f^3 \text {Subst}\left (\int x \left (a+b x+c x^2\right )^2 \, dx,x,(d+e x)^2\right )}{2 e}\\ &=\frac {f^3 \text {Subst}\left (\int \left (a^2 x+2 a b x^2+\left (b^2+2 a c\right ) x^3+2 b c x^4+c^2 x^5\right ) \, dx,x,(d+e x)^2\right )}{2 e}\\ &=\frac {a^2 f^3 (d+e x)^4}{4 e}+\frac {a b f^3 (d+e x)^6}{3 e}+\frac {\left (b^2+2 a c\right ) f^3 (d+e x)^8}{8 e}+\frac {b c f^3 (d+e x)^{10}}{5 e}+\frac {c^2 f^3 (d+e x)^{12}}{12 e}\\ \end {align*}

________________________________________________________________________________________

Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(405\) vs. \(2(104)=208\).
time = 0.06, size = 405, normalized size = 3.89 \begin {gather*} f^3 \left (d^3 \left (a+b d^2+c d^4\right )^2 x+\frac {1}{2} d^2 \left (3 a^2+10 a b d^2+7 b^2 d^4+14 a c d^4+18 b c d^6+11 c^2 d^8\right ) e x^2+\frac {1}{3} d \left (3 a^2+20 a b d^2+21 b^2 d^4+42 a c d^4+72 b c d^6+55 c^2 d^8\right ) e^2 x^3+\frac {1}{4} \left (a^2+20 a b d^2+35 b^2 d^4+70 a c d^4+168 b c d^6+165 c^2 d^8\right ) e^3 x^4+\frac {1}{5} d \left (10 a b+35 b^2 d^2+70 a c d^2+252 b c d^4+330 c^2 d^6\right ) e^4 x^5+\frac {1}{6} \left (2 a b+21 b^2 d^2+42 a c d^2+252 b c d^4+462 c^2 d^6\right ) e^5 x^6+d \left (b^2+2 a c+24 b c d^2+66 c^2 d^4\right ) e^6 x^7+\frac {1}{8} \left (b^2+2 a c+72 b c d^2+330 c^2 d^4\right ) e^7 x^8+\frac {1}{3} c d \left (6 b+55 c d^2\right ) e^8 x^9+\frac {1}{10} c \left (2 b+55 c d^2\right ) e^9 x^{10}+c^2 d e^{10} x^{11}+\frac {1}{12} c^2 e^{11} x^{12}\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[(d*f + e*f*x)^3*(a + b*(d + e*x)^2 + c*(d + e*x)^4)^2,x]

[Out]

f^3*(d^3*(a + b*d^2 + c*d^4)^2*x + (d^2*(3*a^2 + 10*a*b*d^2 + 7*b^2*d^4 + 14*a*c*d^4 + 18*b*c*d^6 + 11*c^2*d^8
)*e*x^2)/2 + (d*(3*a^2 + 20*a*b*d^2 + 21*b^2*d^4 + 42*a*c*d^4 + 72*b*c*d^6 + 55*c^2*d^8)*e^2*x^3)/3 + ((a^2 +
20*a*b*d^2 + 35*b^2*d^4 + 70*a*c*d^4 + 168*b*c*d^6 + 165*c^2*d^8)*e^3*x^4)/4 + (d*(10*a*b + 35*b^2*d^2 + 70*a*
c*d^2 + 252*b*c*d^4 + 330*c^2*d^6)*e^4*x^5)/5 + ((2*a*b + 21*b^2*d^2 + 42*a*c*d^2 + 252*b*c*d^4 + 462*c^2*d^6)
*e^5*x^6)/6 + d*(b^2 + 2*a*c + 24*b*c*d^2 + 66*c^2*d^4)*e^6*x^7 + ((b^2 + 2*a*c + 72*b*c*d^2 + 330*c^2*d^4)*e^
7*x^8)/8 + (c*d*(6*b + 55*c*d^2)*e^8*x^9)/3 + (c*(2*b + 55*c*d^2)*e^9*x^10)/10 + c^2*d*e^10*x^11 + (c^2*e^11*x
^12)/12)

________________________________________________________________________________________

Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(1412\) vs. \(2(94)=188\).
time = 0.24, size = 1413, normalized size = 13.59

method	result	size
gosper	\(\frac {f^{3} x \left (10 e^{11} c^{2} x^{11}+120 d \,e^{10} c^{2} x^{10}+660 x^{9} d^{2} e^{9} c^{2}+2200 x^{8} d^{3} e^{8} c^{2}+24 x^{9} b c \,e^{9}+4950 x^{7} c^{2} d^{4} e^{7}+240 x^{8} b c d \,e^{8}+7920 c^{2} d^{5} e^{6} x^{6}+1080 x^{7} b c \,d^{2} e^{7}+9240 x^{5} c^{2} d^{6} e^{5}+2880 b c \,d^{3} e^{6} x^{6}+7920 x^{4} c^{2} d^{7} e^{4}+30 x^{7} a c \,e^{7}+15 x^{7} b^{2} e^{7}+5040 x^{5} b c \,d^{4} e^{5}+4950 x^{3} c^{2} d^{8} e^{3}+240 a c d \,e^{6} x^{6}+120 b^{2} d \,e^{6} x^{6}+6048 x^{4} b c \,d^{5} e^{4}+2200 x^{2} c^{2} d^{9} e^{2}+840 x^{5} a c \,d^{2} e^{5}+420 x^{5} b^{2} d^{2} e^{5}+5040 x^{3} b c \,d^{6} e^{3}+660 x \,c^{2} d^{10} e +1680 x^{4} a c \,d^{3} e^{4}+840 x^{4} b^{2} d^{3} e^{4}+2880 x^{2} b c \,d^{7} e^{2}+120 c^{2} d^{11}+40 x^{5} a b \,e^{5}+2100 x^{3} a c \,d^{4} e^{3}+1050 x^{3} b^{2} d^{4} e^{3}+1080 x b c \,d^{8} e +240 x^{4} a b d \,e^{4}+1680 x^{2} a c \,d^{5} e^{2}+840 x^{2} b^{2} d^{5} e^{2}+240 b c \,d^{9}+600 x^{3} e^{3} a b \,d^{2}+840 x a c \,d^{6} e +420 x \,b^{2} d^{6} e +800 x^{2} a b \,d^{3} e^{2}+240 a c \,d^{7}+120 b^{2} d^{7}+30 x^{3} a^{2} e^{3}+600 x a b \,d^{4} e +120 x^{2} d \,e^{2} a^{2}+240 a b \,d^{5}+180 x \,a^{2} d^{2} e +120 a^{2} d^{3}\right )}{120}\)	\(566\)
norman	\(\left (\frac {11}{2} d^{2} f^{3} e^{9} c^{2}+\frac {1}{5} b c \,e^{9} f^{3}\right ) x^{10}+\left (\frac {55}{3} d^{3} f^{3} e^{8} c^{2}+2 b c d \,e^{8} f^{3}\right ) x^{9}+\left (\frac {165}{4} d^{4} f^{3} e^{7} c^{2}+9 b c \,d^{2} e^{7} f^{3}+\frac {1}{4} a c \,e^{7} f^{3}+\frac {1}{8} b^{2} e^{7} f^{3}\right ) x^{8}+\left (77 c^{2} d^{6} e^{5} f^{3}+42 b c \,d^{4} e^{5} f^{3}+7 a c \,d^{2} e^{5} f^{3}+\frac {7}{2} b^{2} d^{2} e^{5} f^{3}+\frac {1}{3} a b \,e^{5} f^{3}\right ) x^{6}+\left (66 c^{2} d^{7} e^{4} f^{3}+\frac {252}{5} b c \,d^{5} e^{4} f^{3}+14 a c \,d^{3} e^{4} f^{3}+7 b^{2} d^{3} e^{4} f^{3}+2 a b d \,e^{4} f^{3}\right ) x^{5}+\left (\frac {165}{4} c^{2} d^{8} e^{3} f^{3}+42 b c \,d^{6} e^{3} f^{3}+\frac {35}{2} a c \,d^{4} e^{3} f^{3}+\frac {35}{4} b^{2} d^{4} e^{3} f^{3}+5 a b \,d^{2} e^{3} f^{3}+\frac {1}{4} a^{2} e^{3} f^{3}\right ) x^{4}+\left (\frac {55}{3} c^{2} d^{9} e^{2} f^{3}+24 b c \,d^{7} e^{2} f^{3}+14 a c \,d^{5} e^{2} f^{3}+7 b^{2} d^{5} e^{2} f^{3}+\frac {20}{3} a b \,d^{3} e^{2} f^{3}+a^{2} d \,e^{2} f^{3}\right ) x^{3}+\left (\frac {11}{2} c^{2} d^{10} e \,f^{3}+9 b c \,d^{8} e \,f^{3}+7 a c \,d^{6} e \,f^{3}+\frac {7}{2} b^{2} d^{6} e \,f^{3}+5 a b \,d^{4} e \,f^{3}+\frac {3}{2} a^{2} d^{2} e \,f^{3}\right ) x^{2}+\left (66 c^{2} d^{5} e^{6} f^{3}+24 b c \,d^{3} e^{6} f^{3}+2 a c d \,e^{6} f^{3}+b^{2} d \,e^{6} f^{3}\right ) x^{7}+\left (c^{2} d^{11} f^{3}+2 b c \,d^{9} f^{3}+2 a c \,d^{7} f^{3}+b^{2} d^{7} f^{3}+2 a b \,d^{5} f^{3}+a^{2} d^{3} f^{3}\right ) x +d \,f^{3} e^{10} c^{2} x^{11}+\frac {e^{11} f^{3} c^{2} x^{12}}{12}\)	\(638\)
risch	\(d \,f^{3} e^{10} c^{2} x^{11}+f^{3} a^{2} d^{3} x +f^{3} c^{2} d^{11} x +f^{3} b^{2} d^{7} x +\frac {1}{8} f^{3} x^{8} b^{2} e^{7}+\frac {1}{4} f^{3} x^{4} a^{2} e^{3}+14 f^{3} x^{5} a c \,d^{3} e^{4}+2 f^{3} x^{9} b c d \,e^{8}+9 f^{3} x^{8} b c \,d^{2} e^{7}+42 f^{3} x^{6} b c \,d^{4} e^{5}+7 f^{3} x^{6} a c \,d^{2} e^{5}+\frac {252}{5} f^{3} x^{5} b c \,d^{5} e^{4}+2 f^{3} x^{5} a b d \,e^{4}+42 f^{3} x^{4} b c \,d^{6} e^{3}+\frac {35}{2} f^{3} x^{4} a c \,d^{4} e^{3}+5 f^{3} x^{4} e^{3} a b \,d^{2}+24 f^{3} x^{3} b c \,d^{7} e^{2}+14 f^{3} x^{3} a c \,d^{5} e^{2}+\frac {20}{3} f^{3} x^{3} a b \,d^{3} e^{2}+9 f^{3} x^{2} b c \,d^{8} e +7 f^{3} x^{2} a c \,d^{6} e +5 f^{3} x^{2} a b \,d^{4} e +2 f^{3} a c d \,e^{6} x^{7}+24 f^{3} b c \,d^{3} e^{6} x^{7}+\frac {1}{12} e^{11} f^{3} c^{2} x^{12}+\frac {7}{2} f^{3} x^{6} b^{2} d^{2} e^{5}+\frac {165}{4} f^{3} x^{8} c^{2} d^{4} e^{7}+\frac {1}{4} f^{3} x^{8} a c \,e^{7}+77 f^{3} x^{6} c^{2} d^{6} e^{5}+\frac {1}{3} f^{3} x^{6} a b \,e^{5}+66 f^{3} x^{5} c^{2} d^{7} e^{4}+7 f^{3} x^{5} b^{2} d^{3} e^{4}+\frac {165}{4} f^{3} x^{4} c^{2} d^{8} e^{3}+\frac {35}{4} f^{3} x^{4} b^{2} d^{4} e^{3}+\frac {55}{3} f^{3} x^{3} c^{2} d^{9} e^{2}+7 f^{3} x^{3} b^{2} d^{5} e^{2}+f^{3} x^{3} d \,e^{2} a^{2}+\frac {11}{2} f^{3} x^{2} c^{2} d^{10} e +\frac {7}{2} f^{3} x^{2} b^{2} d^{6} e +\frac {3}{2} f^{3} x^{2} a^{2} d^{2} e +66 f^{3} c^{2} d^{5} e^{6} x^{7}+f^{3} b^{2} d \,e^{6} x^{7}+2 f^{3} b c \,d^{9} x +2 f^{3} a c \,d^{7} x +2 f^{3} a b \,d^{5} x +\frac {11}{2} f^{3} x^{10} d^{2} e^{9} c^{2}+\frac {1}{5} f^{3} x^{10} b c \,e^{9}+\frac {55}{3} f^{3} x^{9} d^{3} e^{8} c^{2}\)	\(716\)
default	\(\text {Expression too large to display}\)	\(1413\)

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((e*f*x+d*f)^3*(a+b*(e*x+d)^2+c*(e*x+d)^4)^2,x,method=_RETURNVERBOSE)

[Out]

1/12*e^11*f^3*c^2*x^12+d*f^3*e^10*c^2*x^11+1/10*(27*d^2*f^3*e^9*c^2+e^3*f^3*(2*(6*c*d^2*e^2+b*e^2)*e^4*c+16*d^
2*e^6*c^2))*x^10+1/9*(25*d^3*f^3*e^8*c^2+3*d*f^3*e^2*(2*(6*c*d^2*e^2+b*e^2)*e^4*c+16*d^2*e^6*c^2)+e^3*f^3*(2*(
4*c*d^3*e+2*b*d*e)*e^4*c+8*(6*c*d^2*e^2+b*e^2)*d*e^3*c))*x^9+1/8*(8*d^4*f^3*e^7*c^2+3*d^2*f^3*e*(2*(6*c*d^2*e^
2+b*e^2)*e^4*c+16*d^2*e^6*c^2)+3*d*f^3*e^2*(2*(4*c*d^3*e+2*b*d*e)*e^4*c+8*(6*c*d^2*e^2+b*e^2)*d*e^3*c)+e^3*f^3
*(2*(c*d^4+b*d^2+a)*e^4*c+8*(4*c*d^3*e+2*b*d*e)*d*e^3*c+(6*c*d^2*e^2+b*e^2)^2))*x^8+1/7*(d^3*f^3*(2*(6*c*d^2*e
^2+b*e^2)*e^4*c+16*d^2*e^6*c^2)+3*d^2*f^3*e*(2*(4*c*d^3*e+2*b*d*e)*e^4*c+8*(6*c*d^2*e^2+b*e^2)*d*e^3*c)+3*d*f^
3*e^2*(2*(c*d^4+b*d^2+a)*e^4*c+8*(4*c*d^3*e+2*b*d*e)*d*e^3*c+(6*c*d^2*e^2+b*e^2)^2)+e^3*f^3*(8*(c*d^4+b*d^2+a)
*d*e^3*c+2*(4*c*d^3*e+2*b*d*e)*(6*c*d^2*e^2+b*e^2)))*x^7+1/6*(d^3*f^3*(2*(4*c*d^3*e+2*b*d*e)*e^4*c+8*(6*c*d^2*
e^2+b*e^2)*d*e^3*c)+3*d^2*f^3*e*(2*(c*d^4+b*d^2+a)*e^4*c+8*(4*c*d^3*e+2*b*d*e)*d*e^3*c+(6*c*d^2*e^2+b*e^2)^2)+
3*d*f^3*e^2*(8*(c*d^4+b*d^2+a)*d*e^3*c+2*(4*c*d^3*e+2*b*d*e)*(6*c*d^2*e^2+b*e^2))+e^3*f^3*(2*(c*d^4+b*d^2+a)*(
6*c*d^2*e^2+b*e^2)+(4*c*d^3*e+2*b*d*e)^2))*x^6+1/5*(d^3*f^3*(2*(c*d^4+b*d^2+a)*e^4*c+8*(4*c*d^3*e+2*b*d*e)*d*e
^3*c+(6*c*d^2*e^2+b*e^2)^2)+3*d^2*f^3*e*(8*(c*d^4+b*d^2+a)*d*e^3*c+2*(4*c*d^3*e+2*b*d*e)*(6*c*d^2*e^2+b*e^2))+
3*d*f^3*e^2*(2*(c*d^4+b*d^2+a)*(6*c*d^2*e^2+b*e^2)+(4*c*d^3*e+2*b*d*e)^2)+2*e^3*f^3*(c*d^4+b*d^2+a)*(4*c*d^3*e
+2*b*d*e))*x^5+1/4*(d^3*f^3*(8*(c*d^4+b*d^2+a)*d*e^3*c+2*(4*c*d^3*e+2*b*d*e)*(6*c*d^2*e^2+b*e^2))+3*d^2*f^3*e*
(2*(c*d^4+b*d^2+a)*(6*c*d^2*e^2+b*e^2)+(4*c*d^3*e+2*b*d*e)^2)+6*d*f^3*e^2*(c*d^4+b*d^2+a)*(4*c*d^3*e+2*b*d*e)+
e^3*f^3*(c*d^4+b*d^2+a)^2)*x^4+1/3*(d^3*f^3*(2*(c*d^4+b*d^2+a)*(6*c*d^2*e^2+b*e^2)+(4*c*d^3*e+2*b*d*e)^2)+6*d^
2*f^3*e*(c*d^4+b*d^2+a)*(4*c*d^3*e+2*b*d*e)+3*d*f^3*e^2*(c*d^4+b*d^2+a)^2)*x^3+1/2*(2*d^3*f^3*(c*d^4+b*d^2+a)*
(4*c*d^3*e+2*b*d*e)+3*d^2*f^3*e*(c*d^4+b*d^2+a)^2)*x^2+d^3*f^3*(c*d^4+b*d^2+a)^2*x

________________________________________________________________________________________

Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 500 vs. \(2 (94) = 188\).
time = 0.53, size = 500, normalized size = 4.81 \begin {gather*} \frac {1}{12} \, c^{2} f^{3} x^{12} e^{11} + c^{2} d f^{3} x^{11} e^{10} + \frac {1}{10} \, {\left (55 \, c^{2} d^{2} e^{9} + 2 \, b c e^{9}\right )} f^{3} x^{10} + \frac {1}{3} \, {\left (55 \, c^{2} d^{3} e^{8} + 6 \, b c d e^{8}\right )} f^{3} x^{9} + \frac {1}{8} \, {\left (330 \, c^{2} d^{4} e^{7} + 72 \, b c d^{2} e^{7} + b^{2} e^{7} + 2 \, a c e^{7}\right )} f^{3} x^{8} + {\left (66 \, c^{2} d^{5} e^{6} + 24 \, b c d^{3} e^{6} + {\left (b^{2} e^{6} + 2 \, a c e^{6}\right )} d\right )} f^{3} x^{7} + \frac {1}{6} \, {\left (462 \, c^{2} d^{6} e^{5} + 252 \, b c d^{4} e^{5} + 21 \, {\left (b^{2} e^{5} + 2 \, a c e^{5}\right )} d^{2} + 2 \, a b e^{5}\right )} f^{3} x^{6} + \frac {1}{5} \, {\left (330 \, c^{2} d^{7} e^{4} + 252 \, b c d^{5} e^{4} + 35 \, {\left (b^{2} e^{4} + 2 \, a c e^{4}\right )} d^{3} + 10 \, a b d e^{4}\right )} f^{3} x^{5} + \frac {1}{4} \, {\left (165 \, c^{2} d^{8} e^{3} + 168 \, b c d^{6} e^{3} + 35 \, {\left (b^{2} e^{3} + 2 \, a c e^{3}\right )} d^{4} + 20 \, a b d^{2} e^{3} + a^{2} e^{3}\right )} f^{3} x^{4} + \frac {1}{3} \, {\left (55 \, c^{2} d^{9} e^{2} + 72 \, b c d^{7} e^{2} + 21 \, {\left (b^{2} e^{2} + 2 \, a c e^{2}\right )} d^{5} + 20 \, a b d^{3} e^{2} + 3 \, a^{2} d e^{2}\right )} f^{3} x^{3} + \frac {1}{2} \, {\left (11 \, c^{2} d^{10} e + 18 \, b c d^{8} e + 7 \, {\left (b^{2} e + 2 \, a c e\right )} d^{6} + 10 \, a b d^{4} e + 3 \, a^{2} d^{2} e\right )} f^{3} x^{2} + {\left (c^{2} d^{11} + 2 \, b c d^{9} + {\left (b^{2} + 2 \, a c\right )} d^{7} + 2 \, a b d^{5} + a^{2} d^{3}\right )} f^{3} x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*f*x+d*f)^3*(a+b*(e*x+d)^2+c*(e*x+d)^4)^2,x, algorithm="maxima")

[Out]

1/12*c^2*f^3*x^12*e^11 + c^2*d*f^3*x^11*e^10 + 1/10*(55*c^2*d^2*e^9 + 2*b*c*e^9)*f^3*x^10 + 1/3*(55*c^2*d^3*e^
8 + 6*b*c*d*e^8)*f^3*x^9 + 1/8*(330*c^2*d^4*e^7 + 72*b*c*d^2*e^7 + b^2*e^7 + 2*a*c*e^7)*f^3*x^8 + (66*c^2*d^5*
e^6 + 24*b*c*d^3*e^6 + (b^2*e^6 + 2*a*c*e^6)*d)*f^3*x^7 + 1/6*(462*c^2*d^6*e^5 + 252*b*c*d^4*e^5 + 21*(b^2*e^5
+ 2*a*c*e^5)*d^2 + 2*a*b*e^5)*f^3*x^6 + 1/5*(330*c^2*d^7*e^4 + 252*b*c*d^5*e^4 + 35*(b^2*e^4 + 2*a*c*e^4)*d^3
+ 10*a*b*d*e^4)*f^3*x^5 + 1/4*(165*c^2*d^8*e^3 + 168*b*c*d^6*e^3 + 35*(b^2*e^3 + 2*a*c*e^3)*d^4 + 20*a*b*d^2*
e^3 + a^2*e^3)*f^3*x^4 + 1/3*(55*c^2*d^9*e^2 + 72*b*c*d^7*e^2 + 21*(b^2*e^2 + 2*a*c*e^2)*d^5 + 20*a*b*d^3*e^2
+ 3*a^2*d*e^2)*f^3*x^3 + 1/2*(11*c^2*d^10*e + 18*b*c*d^8*e + 7*(b^2*e + 2*a*c*e)*d^6 + 10*a*b*d^4*e + 3*a^2*d^
2*e)*f^3*x^2 + (c^2*d^11 + 2*b*c*d^9 + (b^2 + 2*a*c)*d^7 + 2*a*b*d^5 + a^2*d^3)*f^3*x

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 430 vs. \(2 (94) = 188\).
time = 0.34, size = 430, normalized size = 4.13 \begin {gather*} \frac {1}{12} \, c^{2} f^{3} x^{12} e^{11} + c^{2} d f^{3} x^{11} e^{10} + \frac {1}{10} \, {\left (55 \, c^{2} d^{2} + 2 \, b c\right )} f^{3} x^{10} e^{9} + \frac {1}{3} \, {\left (55 \, c^{2} d^{3} + 6 \, b c d\right )} f^{3} x^{9} e^{8} + \frac {1}{8} \, {\left (330 \, c^{2} d^{4} + 72 \, b c d^{2} + b^{2} + 2 \, a c\right )} f^{3} x^{8} e^{7} + {\left (66 \, c^{2} d^{5} + 24 \, b c d^{3} + {\left (b^{2} + 2 \, a c\right )} d\right )} f^{3} x^{7} e^{6} + \frac {1}{6} \, {\left (462 \, c^{2} d^{6} + 252 \, b c d^{4} + 21 \, {\left (b^{2} + 2 \, a c\right )} d^{2} + 2 \, a b\right )} f^{3} x^{6} e^{5} + \frac {1}{5} \, {\left (330 \, c^{2} d^{7} + 252 \, b c d^{5} + 35 \, {\left (b^{2} + 2 \, a c\right )} d^{3} + 10 \, a b d\right )} f^{3} x^{5} e^{4} + \frac {1}{4} \, {\left (165 \, c^{2} d^{8} + 168 \, b c d^{6} + 35 \, {\left (b^{2} + 2 \, a c\right )} d^{4} + 20 \, a b d^{2} + a^{2}\right )} f^{3} x^{4} e^{3} + \frac {1}{3} \, {\left (55 \, c^{2} d^{9} + 72 \, b c d^{7} + 21 \, {\left (b^{2} + 2 \, a c\right )} d^{5} + 20 \, a b d^{3} + 3 \, a^{2} d\right )} f^{3} x^{3} e^{2} + \frac {1}{2} \, {\left (11 \, c^{2} d^{10} + 18 \, b c d^{8} + 7 \, {\left (b^{2} + 2 \, a c\right )} d^{6} + 10 \, a b d^{4} + 3 \, a^{2} d^{2}\right )} f^{3} x^{2} e + {\left (c^{2} d^{11} + 2 \, b c d^{9} + {\left (b^{2} + 2 \, a c\right )} d^{7} + 2 \, a b d^{5} + a^{2} d^{3}\right )} f^{3} x \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*f*x+d*f)^3*(a+b*(e*x+d)^2+c*(e*x+d)^4)^2,x, algorithm="fricas")

[Out]

1/12*c^2*f^3*x^12*e^11 + c^2*d*f^3*x^11*e^10 + 1/10*(55*c^2*d^2 + 2*b*c)*f^3*x^10*e^9 + 1/3*(55*c^2*d^3 + 6*b*
c*d)*f^3*x^9*e^8 + 1/8*(330*c^2*d^4 + 72*b*c*d^2 + b^2 + 2*a*c)*f^3*x^8*e^7 + (66*c^2*d^5 + 24*b*c*d^3 + (b^2
+ 2*a*c)*d)*f^3*x^7*e^6 + 1/6*(462*c^2*d^6 + 252*b*c*d^4 + 21*(b^2 + 2*a*c)*d^2 + 2*a*b)*f^3*x^6*e^5 + 1/5*(33
0*c^2*d^7 + 252*b*c*d^5 + 35*(b^2 + 2*a*c)*d^3 + 10*a*b*d)*f^3*x^5*e^4 + 1/4*(165*c^2*d^8 + 168*b*c*d^6 + 35*(
b^2 + 2*a*c)*d^4 + 20*a*b*d^2 + a^2)*f^3*x^4*e^3 + 1/3*(55*c^2*d^9 + 72*b*c*d^7 + 21*(b^2 + 2*a*c)*d^5 + 20*a*
b*d^3 + 3*a^2*d)*f^3*x^3*e^2 + 1/2*(11*c^2*d^10 + 18*b*c*d^8 + 7*(b^2 + 2*a*c)*d^6 + 10*a*b*d^4 + 3*a^2*d^2)*f
^3*x^2*e + (c^2*d^11 + 2*b*c*d^9 + (b^2 + 2*a*c)*d^7 + 2*a*b*d^5 + a^2*d^3)*f^3*x

________________________________________________________________________________________

Sympy [B] Leaf count of result is larger than twice the leaf count of optimal. 722 vs. \(2 (88) = 176\).
time = 0.07, size = 722, normalized size = 6.94 \begin {gather*} c^{2} d e^{10} f^{3} x^{11} + \frac {c^{2} e^{11} f^{3} x^{12}}{12} + x^{10} \left (\frac {b c e^{9} f^{3}}{5} + \frac {11 c^{2} d^{2} e^{9} f^{3}}{2}\right ) + x^{9} \cdot \left (2 b c d e^{8} f^{3} + \frac {55 c^{2} d^{3} e^{8} f^{3}}{3}\right ) + x^{8} \left (\frac {a c e^{7} f^{3}}{4} + \frac {b^{2} e^{7} f^{3}}{8} + 9 b c d^{2} e^{7} f^{3} + \frac {165 c^{2} d^{4} e^{7} f^{3}}{4}\right ) + x^{7} \cdot \left (2 a c d e^{6} f^{3} + b^{2} d e^{6} f^{3} + 24 b c d^{3} e^{6} f^{3} + 66 c^{2} d^{5} e^{6} f^{3}\right ) + x^{6} \left (\frac {a b e^{5} f^{3}}{3} + 7 a c d^{2} e^{5} f^{3} + \frac {7 b^{2} d^{2} e^{5} f^{3}}{2} + 42 b c d^{4} e^{5} f^{3} + 77 c^{2} d^{6} e^{5} f^{3}\right ) + x^{5} \cdot \left (2 a b d e^{4} f^{3} + 14 a c d^{3} e^{4} f^{3} + 7 b^{2} d^{3} e^{4} f^{3} + \frac {252 b c d^{5} e^{4} f^{3}}{5} + 66 c^{2} d^{7} e^{4} f^{3}\right ) + x^{4} \left (\frac {a^{2} e^{3} f^{3}}{4} + 5 a b d^{2} e^{3} f^{3} + \frac {35 a c d^{4} e^{3} f^{3}}{2} + \frac {35 b^{2} d^{4} e^{3} f^{3}}{4} + 42 b c d^{6} e^{3} f^{3} + \frac {165 c^{2} d^{8} e^{3} f^{3}}{4}\right ) + x^{3} \left (a^{2} d e^{2} f^{3} + \frac {20 a b d^{3} e^{2} f^{3}}{3} + 14 a c d^{5} e^{2} f^{3} + 7 b^{2} d^{5} e^{2} f^{3} + 24 b c d^{7} e^{2} f^{3} + \frac {55 c^{2} d^{9} e^{2} f^{3}}{3}\right ) + x^{2} \cdot \left (\frac {3 a^{2} d^{2} e f^{3}}{2} + 5 a b d^{4} e f^{3} + 7 a c d^{6} e f^{3} + \frac {7 b^{2} d^{6} e f^{3}}{2} + 9 b c d^{8} e f^{3} + \frac {11 c^{2} d^{10} e f^{3}}{2}\right ) + x \left (a^{2} d^{3} f^{3} + 2 a b d^{5} f^{3} + 2 a c d^{7} f^{3} + b^{2} d^{7} f^{3} + 2 b c d^{9} f^{3} + c^{2} d^{11} f^{3}\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*f*x+d*f)**3*(a+b*(e*x+d)**2+c*(e*x+d)**4)**2,x)

[Out]

c**2*d*e**10*f**3*x**11 + c**2*e**11*f**3*x**12/12 + x**10*(b*c*e**9*f**3/5 + 11*c**2*d**2*e**9*f**3/2) + x**9
*(2*b*c*d*e**8*f**3 + 55*c**2*d**3*e**8*f**3/3) + x**8*(a*c*e**7*f**3/4 + b**2*e**7*f**3/8 + 9*b*c*d**2*e**7*f
**3 + 165*c**2*d**4*e**7*f**3/4) + x**7*(2*a*c*d*e**6*f**3 + b**2*d*e**6*f**3 + 24*b*c*d**3*e**6*f**3 + 66*c**
2*d**5*e**6*f**3) + x**6*(a*b*e**5*f**3/3 + 7*a*c*d**2*e**5*f**3 + 7*b**2*d**2*e**5*f**3/2 + 42*b*c*d**4*e**5*
f**3 + 77*c**2*d**6*e**5*f**3) + x**5*(2*a*b*d*e**4*f**3 + 14*a*c*d**3*e**4*f**3 + 7*b**2*d**3*e**4*f**3 + 252
*b*c*d**5*e**4*f**3/5 + 66*c**2*d**7*e**4*f**3) + x**4*(a**2*e**3*f**3/4 + 5*a*b*d**2*e**3*f**3 + 35*a*c*d**4*
e**3*f**3/2 + 35*b**2*d**4*e**3*f**3/4 + 42*b*c*d**6*e**3*f**3 + 165*c**2*d**8*e**3*f**3/4) + x**3*(a**2*d*e**
2*f**3 + 20*a*b*d**3*e**2*f**3/3 + 14*a*c*d**5*e**2*f**3 + 7*b**2*d**5*e**2*f**3 + 24*b*c*d**7*e**2*f**3 + 55*
c**2*d**9*e**2*f**3/3) + x**2*(3*a**2*d**2*e*f**3/2 + 5*a*b*d**4*e*f**3 + 7*a*c*d**6*e*f**3 + 7*b**2*d**6*e*f*
*3/2 + 9*b*c*d**8*e*f**3 + 11*c**2*d**10*e*f**3/2) + x*(a**2*d**3*f**3 + 2*a*b*d**5*f**3 + 2*a*c*d**7*f**3 + b
**2*d**7*f**3 + 2*b*c*d**9*f**3 + c**2*d**11*f**3)

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 615 vs. \(2 (94) = 188\).
time = 3.24, size = 615, normalized size = 5.91 \begin {gather*} \frac {1}{2} \, {\left (f x^{2} e + 2 \, d f x\right )} c^{2} d^{10} f^{2} + {\left (f x^{2} e + 2 \, d f x\right )} b c d^{8} f^{2} + \frac {1}{2} \, {\left (f x^{2} e + 2 \, d f x\right )} b^{2} d^{6} f^{2} + {\left (f x^{2} e + 2 \, d f x\right )} a c d^{6} f^{2} + {\left (f x^{2} e + 2 \, d f x\right )} a b d^{4} f^{2} + \frac {1}{2} \, {\left (f x^{2} e + 2 \, d f x\right )} a^{2} d^{2} f^{2} + \frac {150 \, {\left (f x^{2} e + 2 \, d f x\right )}^{2} c^{2} d^{8} f^{4} e + 200 \, {\left (f x^{2} e + 2 \, d f x\right )}^{3} c^{2} d^{6} f^{3} e^{2} + 240 \, {\left (f x^{2} e + 2 \, d f x\right )}^{2} b c d^{6} f^{4} e + 150 \, {\left (f x^{2} e + 2 \, d f x\right )}^{4} c^{2} d^{4} f^{2} e^{3} + 240 \, {\left (f x^{2} e + 2 \, d f x\right )}^{3} b c d^{4} f^{3} e^{2} + 90 \, {\left (f x^{2} e + 2 \, d f x\right )}^{2} b^{2} d^{4} f^{4} e + 180 \, {\left (f x^{2} e + 2 \, d f x\right )}^{2} a c d^{4} f^{4} e + 60 \, {\left (f x^{2} e + 2 \, d f x\right )}^{5} c^{2} d^{2} f e^{4} + 120 \, {\left (f x^{2} e + 2 \, d f x\right )}^{4} b c d^{2} f^{2} e^{3} + 60 \, {\left (f x^{2} e + 2 \, d f x\right )}^{3} b^{2} d^{2} f^{3} e^{2} + 120 \, {\left (f x^{2} e + 2 \, d f x\right )}^{3} a c d^{2} f^{3} e^{2} + 120 \, {\left (f x^{2} e + 2 \, d f x\right )}^{2} a b d^{2} f^{4} e + 10 \, {\left (f x^{2} e + 2 \, d f x\right )}^{6} c^{2} e^{5} + 24 \, {\left (f x^{2} e + 2 \, d f x\right )}^{5} b c f e^{4} + 15 \, {\left (f x^{2} e + 2 \, d f x\right )}^{4} b^{2} f^{2} e^{3} + 30 \, {\left (f x^{2} e + 2 \, d f x\right )}^{4} a c f^{2} e^{3} + 40 \, {\left (f x^{2} e + 2 \, d f x\right )}^{3} a b f^{3} e^{2} + 30 \, {\left (f x^{2} e + 2 \, d f x\right )}^{2} a^{2} f^{4} e}{120 \, f^{3}} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((e*f*x+d*f)^3*(a+b*(e*x+d)^2+c*(e*x+d)^4)^2,x, algorithm="giac")

[Out]

1/2*(f*x^2*e + 2*d*f*x)*c^2*d^10*f^2 + (f*x^2*e + 2*d*f*x)*b*c*d^8*f^2 + 1/2*(f*x^2*e + 2*d*f*x)*b^2*d^6*f^2 +
(f*x^2*e + 2*d*f*x)*a*c*d^6*f^2 + (f*x^2*e + 2*d*f*x)*a*b*d^4*f^2 + 1/2*(f*x^2*e + 2*d*f*x)*a^2*d^2*f^2 + 1/1
20*(150*(f*x^2*e + 2*d*f*x)^2*c^2*d^8*f^4*e + 200*(f*x^2*e + 2*d*f*x)^3*c^2*d^6*f^3*e^2 + 240*(f*x^2*e + 2*d*f
*x)^2*b*c*d^6*f^4*e + 150*(f*x^2*e + 2*d*f*x)^4*c^2*d^4*f^2*e^3 + 240*(f*x^2*e + 2*d*f*x)^3*b*c*d^4*f^3*e^2 +
90*(f*x^2*e + 2*d*f*x)^2*b^2*d^4*f^4*e + 180*(f*x^2*e + 2*d*f*x)^2*a*c*d^4*f^4*e + 60*(f*x^2*e + 2*d*f*x)^5*c^
2*d^2*f*e^4 + 120*(f*x^2*e + 2*d*f*x)^4*b*c*d^2*f^2*e^3 + 60*(f*x^2*e + 2*d*f*x)^3*b^2*d^2*f^3*e^2 + 120*(f*x^
2*e + 2*d*f*x)^3*a*c*d^2*f^3*e^2 + 120*(f*x^2*e + 2*d*f*x)^2*a*b*d^2*f^4*e + 10*(f*x^2*e + 2*d*f*x)^6*c^2*e^5
+ 24*(f*x^2*e + 2*d*f*x)^5*b*c*f*e^4 + 15*(f*x^2*e + 2*d*f*x)^4*b^2*f^2*e^3 + 30*(f*x^2*e + 2*d*f*x)^4*a*c*f^2
*e^3 + 40*(f*x^2*e + 2*d*f*x)^3*a*b*f^3*e^2 + 30*(f*x^2*e + 2*d*f*x)^2*a^2*f^4*e)/f^3

________________________________________________________________________________________

Mupad [B]
time = 1.47, size = 419, normalized size = 4.03 \begin {gather*} \frac {e^3\,f^3\,x^4\,\left (a^2+20\,a\,b\,d^2+70\,a\,c\,d^4+35\,b^2\,d^4+168\,b\,c\,d^6+165\,c^2\,d^8\right )}{4}+\frac {c^2\,e^{11}\,f^3\,x^{12}}{12}+d^3\,f^3\,x\,{\left (c\,d^4+b\,d^2+a\right )}^2+\frac {e^7\,f^3\,x^8\,\left (b^2+72\,b\,c\,d^2+330\,c^2\,d^4+2\,a\,c\right )}{8}+\frac {e^5\,f^3\,x^6\,\left (21\,b^2\,d^2+252\,b\,c\,d^4+2\,a\,b+462\,c^2\,d^6+42\,a\,c\,d^2\right )}{6}+\frac {d^2\,e\,f^3\,x^2\,\left (3\,a^2+10\,a\,b\,d^2+14\,a\,c\,d^4+7\,b^2\,d^4+18\,b\,c\,d^6+11\,c^2\,d^8\right )}{2}+\frac {d\,e^2\,f^3\,x^3\,\left (3\,a^2+20\,a\,b\,d^2+42\,a\,c\,d^4+21\,b^2\,d^4+72\,b\,c\,d^6+55\,c^2\,d^8\right )}{3}+d\,e^6\,f^3\,x^7\,\left (b^2+24\,b\,c\,d^2+66\,c^2\,d^4+2\,a\,c\right )+\frac {d\,e^4\,f^3\,x^5\,\left (35\,b^2\,d^2+252\,b\,c\,d^4+10\,a\,b+330\,c^2\,d^6+70\,a\,c\,d^2\right )}{5}+\frac {c\,e^9\,f^3\,x^{10}\,\left (55\,c\,d^2+2\,b\right )}{10}+c^2\,d\,e^{10}\,f^3\,x^{11}+\frac {c\,d\,e^8\,f^3\,x^9\,\left (55\,c\,d^2+6\,b\right )}{3} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((d*f + e*f*x)^3*(a + b*(d + e*x)^2 + c*(d + e*x)^4)^2,x)

[Out]

(e^3*f^3*x^4*(a^2 + 35*b^2*d^4 + 165*c^2*d^8 + 20*a*b*d^2 + 70*a*c*d^4 + 168*b*c*d^6))/4 + (c^2*e^11*f^3*x^12)
/12 + d^3*f^3*x*(a + b*d^2 + c*d^4)^2 + (e^7*f^3*x^8*(2*a*c + b^2 + 330*c^2*d^4 + 72*b*c*d^2))/8 + (e^5*f^3*x^
6*(2*a*b + 21*b^2*d^2 + 462*c^2*d^6 + 42*a*c*d^2 + 252*b*c*d^4))/6 + (d^2*e*f^3*x^2*(3*a^2 + 7*b^2*d^4 + 11*c^
2*d^8 + 10*a*b*d^2 + 14*a*c*d^4 + 18*b*c*d^6))/2 + (d*e^2*f^3*x^3*(3*a^2 + 21*b^2*d^4 + 55*c^2*d^8 + 20*a*b*d^
2 + 42*a*c*d^4 + 72*b*c*d^6))/3 + d*e^6*f^3*x^7*(2*a*c + b^2 + 66*c^2*d^4 + 24*b*c*d^2) + (d*e^4*f^3*x^5*(10*a
*b + 35*b^2*d^2 + 330*c^2*d^6 + 70*a*c*d^2 + 252*b*c*d^4))/5 + (c*e^9*f^3*x^10*(2*b + 55*c*d^2))/10 + c^2*d*e^
10*f^3*x^11 + (c*d*e^8*f^3*x^9*(6*b + 55*c*d^2))/3

________________________________________________________________________________________